Lambda

lambda-bindings no longer shadow syntax table entries in the standard compiler. The STANDARD-COMPILER and ORBIT, the new optimizing compiler, now have the same evaluation semantics. This is consistent with the manual th. In T2 TC, the old compiler, complied with the manual but the standard compiler did not. Thus,

formula vobeyspaces :
!:}(let ((set list) (x 5)) (set x 8)) $\Longrightarrow$ 8 not (5 8)

However, this doesn't mean that the lambda-binding has no effect, but rather that the binding is not recognized as such when the name appears in the car of a form. Thus,

formula vobeyspaces :
!:}(let ((set list) (x 5)) ((block set) x 8)) $\Longrightarrow$ (5 8)

This is not a final decision. This was the easiest semantics to implement, and it is consistent with the documentation. In the future lambda bindings may shadow syntax.